1. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
![](/design/images/bookmore.png)
5. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
![](/design/images/bookmore.png)
6. The foundations of mathematics
پدیدآورنده : / by Frank Plumpton Ramsey
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQA
۹
/
ر
۸ ۱۳۷۹
![](/design/images/bookmore.png)
7. The limits of science: qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appendix by Helen Charlotte
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم روششناسی,ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
![](/design/images/bookmore.png)
8. The nature of mathematics: a critical survey
پدیدآورنده : / Max Black
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ب
۸ ۱۳۸۰
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
10. آیا روش ریاضی دکارت در فلسفه متضمن با قطعیت و یقین است؟
پدیدآورنده :
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : ریاضیات;کلیات;فلسفه دکارت;ریاضی دکارت;منطق;,کثرت گرایی;معقولات ثانی ریاضی;علوم متعارفه;وحدت گرایی;شک دکارتی;انگارش;ابزارگرایی;شک گرایی;بداهت((اصطلاح وابسته)، مقابل ادراکات فطری);
![](/design/images/bookmore.png)
11. برهان گودل و حقيقت وبرهان
پدیدآورنده : نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
کتابخانه: كتابخانه عمومی هريس (آذربایجان شرقی)
موضوع : منطق رياضي رياضيات فلسفه
رده :
510
/1
ن
218
ب
1364
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱-
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ن
۲
ب
۴
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. پژوهشی در پیرامون مسئلهی تصمیم در منطق: طرح چند خوارزمیک تحلیلی معنایی
پدیدآورنده : ادیب سلطانی، میرشمسالدین، ۱۳۱۰-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : منطق ریاضی,فلسفه ریاضیات,فلسفه,تصمیم گیری (منطق),الگوهای ریاضی تصمیم گیری
رده :
BC135
.
A4P4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. تأملى بر استقراى ریاضى
پدیدآورنده : على بیگدلى، لطف اللّه نبوى
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : استقرا;نظریه مجموعه ها; اعداد طبیعی;استقراء ریاضی;فلسفه منطق;فلسفه ریاضیات;منطق;,فرا قضیه تمامیت;استقرای ضعیف;استقراء ریاضی قوی;اصل استقرای ریاضی;
![](/design/images/bookmore.png)
15. درآمدی بر فلسفه ریاضی: دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵-
کتابخانه: كتابخانه آیت الله العظمی بروجردی (مسجد اعظم) (قم)
موضوع : فلسفه ریاضیات,منطق ریاضی
![](/design/images/bookmore.png)
16. درآمدی بر فلسفه ریاضی: دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵ -
کتابخانه: كتابخانه عمومي و امانی (دفتر تبليغات اسلامی حوزه علميه قم) (قم)
موضوع : ریاضیات - فلسفه,منطق ریاضی
رده :
QA
۹
/
الف
۷۶
د
۴
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. درآمدی بر فلسفه ریاضی: دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵ -
کتابخانه: كتابخانه تخصصی پژوهشگاه علوم و فرهنگ اسلام (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ریاضیات - فلسفه,منطق ریاضی
رده :
QA
۹
/
الف
۷۶
د
۴
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. درآمدی بر فلسفه ریاضی: دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵ -
کتابخانه: كتابخانه تخصصی علوم و معارف قرآن (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ریاضیات - فلسفه,منطق ریاضی
رده :
QA
۹
/
الف
۷۶
د
۴
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. درآمدی بر فلسفه ریاضی: دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵-
کتابخانه: کتابخانه موسسه آموزش عالی حوزوی معصومیه (قم)
موضوع : ریاضیات - فلسفه,منطق ریاضی
رده :
QA
۹
/
الف
۸
د
۴ ۱۳۸۱
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. دیدگاهها و برهانها، مقالههایی در فلسفهء علم و فلسفهء ریاضی
پدیدآورنده : اعتماد، شاپور، ۱۳۳۰-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : فلسفه علوم,فلسفه ریاضیات,منطق,علوم طبیعی,کل گرایی (علوم),تاریخ ریاضیات,هندسه,سرگذشتنامه کودل، کورت، ۱۹۰۶-,پزشکی,ترجمه- نقد و تفسیر علوم,مقالههایی در فلسفه علم و فلسفه ریاضی
رده :
Q175
.
3
.
A6D9
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)